Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
نویسندگان
چکیده
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative space vehicle control system: a model of the Ariane-5 flight software obtained by manual reverse engineering. The goal of the study is to verify functional and scheduling-related requirements under different task architecture assumptions. The study is also a proof of concept for the UML-based validation technique proposed in IFx.
منابع مشابه
A case study in UML model-based validation: the Ariane-5 launcher software
This paper presents ...
متن کاملA case study in UML model-based dynamic validation: the Ariane-5 launcher software
The aim of this paper is to show the usefulness of IFx, an extension of the IF validation toolset for timed and complex systems, for the validation of designs represented using the UML profile defined in the IST Omega project. This demonstration is done on hand of a realistic case study, a model of the Ariane-5 launcher software. In this case study, we do not address the correctness of the cont...
متن کاملModel Checking Ariane-5 Flight Program
This paper reports a veriication experiment carried out on a re-engineered description of a part of Ariane-5 Flight Program. This is the embedded software which solely controls the Ariane-5 launcher during its ight, from the ground, through the atmosphere and up to the nal orbit. In this case study, the Sdl language was used to describe the main functional behavior of the ight program including...
متن کاملARIANE 5 Flight 501 Failure
FOREWORD On 4 June 1996, the maiden flight of the Ariane 5 launcher ended in a failure. Only about 40 seconds after initiation of the flight sequence, at an altitude of about 3700 m, the launcher veered off its flight path, broke up and exploded. Engineers from the Ariane 5 project teams of CNES and Industry immediately started to investigate the failure. Over the following days, the Director G...
متن کاملSpace Software Validation Using Abstract Interpretation
This paper reports the results of an ESA funded project on the use of abstract interpretation to validate critical real-time embedded space software. Abstract interpretation is industrially used since several years, especially for the validation of the Ariane 5 launcher. However, the limitations of the tools used so far prevented a wider deployment. Astrium Space Transportation, CEA, and ENS ha...
متن کامل